(set-logic LIA)
(declare-fun _substvar_38_ () Bool)
(declare-fun _substvar_55_ () Bool)
(declare-fun _substvar_56_ () Bool)
(declare-fun _substvar_69_ () Bool)
(declare-fun _substvar_70_ () Bool)
(declare-fun _substvar_74_ () Bool)
(declare-fun _substvar_75_ () Bool)
(declare-const v0 Bool)
(declare-const v1 Bool)
(declare-const v2 Bool)
(declare-const v3 Bool)
(declare-const v4 Bool)
(declare-const v5 Bool)
(declare-const v6 Bool)
(declare-const v7 Bool)
(declare-const v8 Bool)
(declare-const v9 Bool)
(declare-const v10 Bool)
(declare-const v11 Bool)
(declare-const v12 Bool)
(declare-const v13 Bool)
(declare-const v14 Bool)
(declare-const v15 Bool)
(declare-const v16 Bool)
(declare-const v17 Bool)
(declare-const i0 Int)
(declare-const i1 Int)
(declare-const i4 Int)
(declare-const i5 Int)
(declare-const i7 Int)
(declare-const i8 Int)
(declare-const i9 Int)
(declare-const i12 Int)
(declare-const i15 Int)
(declare-const v18 Bool)
(declare-const i16 Int)
(assert (forall ((q0 Bool) (q1 Int) (q2 Bool) (q3 Int) (q4 Bool) (q5 Int)) (=> (> q1 q3) (xor q0 true true true true true v11 v5 true true))))
(declare-const v19 Bool)
(declare-const v20 Bool)
(assert (exists ((q6 Bool) (q7 Bool)) _substvar_56_))
(declare-const v21 Bool)
(declare-const i17 Int)
(declare-const v22 Bool)
(assert (exists ((q8 Bool) (q9 Int) (q10 Bool) (q11 Int) (q12 Int)) true))
(check-sat)
